81![Curriculum Vitae — Computer Science Ian Glen Neal (+ Education Curriculum Vitae — Computer Science Ian Glen Neal (+ Education](https://www.pdfsearch.io/img/ad659febb2a8fa0215c56d796a7bc7b5.jpg) | Add to Reading ListSource URL: about.iangneal.ioLanguage: English - Date: 2018-10-04 15:10:51
|
---|
82![SCHOOL OF COMPUTER SCIENCE POSTGRADUATE STUDIES IN COMPUTER SCIENCE SCHOOL OF COMPUTER SCIENCE POSTGRADUATE STUDIES IN COMPUTER SCIENCE](https://www.pdfsearch.io/img/d2933cfcf947607e1fe8528821c7bf4e.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2017-04-10 06:51:54
|
---|
83![Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset∗ , Marta Kwiatkowska∗ , Ufuk Topcu† , and Clemens Wiltsche∗ ∗ Department of Computer Science, University of Oxford, Unite Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives Nicolas Basset∗ , Marta Kwiatkowska∗ , Ufuk Topcu† , and Clemens Wiltsche∗ ∗ Department of Computer Science, University of Oxford, Unite](https://www.pdfsearch.io/img/5d71ac755d8aa887d9ec91bbe069355f.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2015-04-15 12:27:37
|
---|
84![Asymptotically faster quantum algorithms to solve multivariate quadratic equations Daniel J. Bernstein1 and Bo-Yin Yang2 1 Department of Computer Science Asymptotically faster quantum algorithms to solve multivariate quadratic equations Daniel J. Bernstein1 and Bo-Yin Yang2 1 Department of Computer Science](https://www.pdfsearch.io/img/17d966abe713f4f5f9a5ec65cca5898b.jpg) | Add to Reading ListSource URL: precision.moscito.orgLanguage: English - Date: 2018-05-02 19:51:01
|
---|
85![Theoretical Computer Science – 551 www.elsevier.com/locate/tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗ Theoretical Computer Science – 551 www.elsevier.com/locate/tcs On the computational strength of pure ambient calculi夡 Sergio Maffeis, Iain Phillips∗](https://www.pdfsearch.io/img/8a126c4bdc3d95e7e11acf77fa151661.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2009-08-14 07:09:04
|
---|
86![Look Before You Shame: A Study on Shaming Activities on Twitter Rajesh Basak, Niloy Ganguly, Shamik Sural, Soumya K Ghosh Department of Computer Science & Engineering, Indian Institute of Technology Kharagpur Kharagpur, Look Before You Shame: A Study on Shaming Activities on Twitter Rajesh Basak, Niloy Ganguly, Shamik Sural, Soumya K Ghosh Department of Computer Science & Engineering, Indian Institute of Technology Kharagpur Kharagpur,](https://www.pdfsearch.io/img/8946bd354c6b5985ad0fd8e454cb48ec.jpg) | Add to Reading ListSource URL: gdac.uqam.caLanguage: English - Date: 2017-10-04 00:23:08
|
---|
87![Planning with Concurrent Execution Bence Cserna Department of Computer Science University of New Hampshire Durham, NHUSA Planning with Concurrent Execution Bence Cserna Department of Computer Science University of New Hampshire Durham, NHUSA](https://www.pdfsearch.io/img/de9cfdb82ed38c55a5ce2889cea17a7a.jpg) | Add to Reading ListSource URL: icaps16.icaps-conference.orgLanguage: English - Date: 2016-06-09 08:09:24
|
---|
88![An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson, An Algorithmic Framework for Synthesis of Concurrent Programs E. Allen Emerson and Roopsha Samanta Dept. of Computer Science and Computer Engineering Research Centre, University of Texas, Austin, TX 78712, USA. {emerson,](https://www.pdfsearch.io/img/6ffa95bb82484eac335f267edc2faeb4.jpg) | Add to Reading ListSource URL: www.cs.purdue.eduLanguage: English - Date: 2016-07-15 23:00:36
|
---|
89![Secure PRNGs from Specialized Polynomial Maps over Any Fq Feng-Hao Liu1 , Chi-Jen Lu2 , and Bo-Yin Yang2 1 Department of Computer Science, Brown University, Providence RI, USA Secure PRNGs from Specialized Polynomial Maps over Any Fq Feng-Hao Liu1 , Chi-Jen Lu2 , and Bo-Yin Yang2 1 Department of Computer Science, Brown University, Providence RI, USA](https://www.pdfsearch.io/img/6d4a6cd671326a13c937f0c826665fcb.jpg) | Add to Reading ListSource URL: precision.moscito.orgLanguage: English - Date: 2012-03-10 01:26:44
|
---|
90![Poster: (SF)2 I - Structure Field Software Fault Isolation Spyridoula Gravani, Zhuojia Shen, John Criswell Department of Computer Science, University of Rochester Email: {sgravani, zshen10, criswell}@cs.rochester.edu Ab Poster: (SF)2 I - Structure Field Software Fault Isolation Spyridoula Gravani, Zhuojia Shen, John Criswell Department of Computer Science, University of Rochester Email: {sgravani, zshen10, criswell}@cs.rochester.edu Ab](https://www.pdfsearch.io/img/ed4f20c07b6044c3cb55bf764e5f80e8.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-05-14 06:12:20
|
---|